Déharbe, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Combining decision procedures by (model-)equality propagation

Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 780 KB

english, 2012

2

Developing Java Card Applications with B

Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

3

Integrating SMT solvers in Rodin

Déharbe, David, Fontaine, Pascal, Guyot, Yoann, Voisin, Laurent

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 679 KB

english, 2014

4

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2010 Volume 6255 || A Modality for Safe Resource Sharing and Code Reentrancy

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim

Year:

2010

Language:

english

File:

PDF, 277 KB

english, 2010

5

Verified Compilation and the B Method: A Proposal and a First Appraisal

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

6

A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework

David Déharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Journal of the Brazilian Computer Society

Year:

2008

Language:

english

File:

PDF, 596 KB

english, 2008

7

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2010 Volume 6255 || Tracking Down the Origins of Ambiguity in Context-Free Grammars

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim

Year:

2010

Language:

english

File:

PDF, 253 KB

english, 2010

8

Integration of SMT-solvers in B and Event-B development environments

Déharbe, David

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 1.28 MB

english, 2013

9

EDINBURGH OBSTETRICAL SOCIETY.

Déharbe, David

Journal:

Year:

1910

Language:

english

File:

PDF, 422 KB

english, 1910

10

[ACM Press the 19th annual symposium - Ouro Preto, MG, Brazil (2006.08.28-2006.09.01)] Proceedings of the 19th annual symposium on Integrated circuits and systems design - SBCCI '06 - Aspect-oriented design in systemC

Déharbe, David, Medeiros, Sergio

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

11

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2010 Volume 6255 || Material Flow Abstraction of Manufacturing Systems

Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim

Year:

2010

Language:

english

File:

PDF, 316 KB

english, 2010

12

Combining Decision Procedures by (Model-)Equality Propagation

Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 327 KB

english, 2009

13

Manipulating algebraic specifications with term-based and graph-based representations

Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima

Journal:

The Journal of Logic and Algebraic Programming

Year:

2004

Language:

english

File:

PDF, 458 KB

english, 2004

14

Distributing the Workload in a Lazy Theorem-Prover

David Deharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

15

Special issue: International Colloquium on Theoretical Aspects of Computing — ICTAC 2010

Cavalcanti, Ana, Déharbe, David

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 122 KB

english, 2012

16

Explicit-Symbolic Modelling for Formal Verification

Umberto Costa, Sérgio Campos, Newton Vieira, David Déharbe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 415 KB

english, 2005

17

Satisfiability solving for software verification

David Déharbe, Silvio Ranise

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 164 KB

english, 2009

18

Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs

Silvio Ranise, David Déharbe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 958 KB

english, 2003

19

The CLEARSY safety platform: 5 years of research, development and deployment

Lecomte, Thierry, Deharbe, David, Fournier, Paulin, Oliveira, Marcel

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 3.94 MB

2020

20

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Computing prime implicants

Deharbe, David, Fontaine, Pascal, Le Berre, Daniel, Mazure, Bertrand

Year:

2013

Language:

english

File:

PDF, 245 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски